--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
tests/backend/test_lxmf_local_self_oracle.py master (2bf00cb3) Text, 7.39 KB
T8b949e# SPDX-License-Identifier: 0BSD
T8b949e"""Oracles and adversarial cases for local (self) LXMF messaging.
Invariant: destination equal to local LXMF, identity, or resolving to local LXMF
must persist as delivered/local without LXMF router outbound. Any other
destination must use the mesh path when send succeeds.
"""
Tff7b72from T7ee787__future__ Tff7b72import Te6edf3annotations
Tff7b72import T7ee787json
Tff7b72from T7ee787unittestT7ee787.T7ee787mock Tff7b72import Te6edf3AsyncMockTb4b4b4, Te6edf3MagicMockTb4b4b4, Te6edf3patch
Tff7b72import T7ee787pytest
Tff7b72from T7ee787meshchatxT7ee787.T7ee787meshchat Tff7b72import Te6edf3ReticulumMeshChat
Tff7b72from T7ee787meshchatxT7ee787.T7ee787srcT7ee787.T7ee787backend Tff7b72import Te6edf3reticulum_pathfinding
Tff7b72from T7ee787testsT7ee787.T7ee787backendT7ee787.T7ee787lxmf_local_self_support Tff7b72import Tb4b4b4(
Te6edf3LOCAL_LXMFTb4b4b4,
Te6edf3REMOTE_PEERTb4b4b4,
Te6edf3fake_lxmf_messageTb4b4b4,
Te6edf3lxmf_message_factoryTb4b4b4,
Tb4b4b4)
Tf0883e@pytestTff7b72.Td2a8ffmarkTff7b72.Td2a8ffparametrizeTb4b4b4(
Tb4b4b4(Ta5d6ff"Ta5d6ffdestTa5d6ff"Tb4b4b4, Ta5d6ff"Ta5d6ffexpectedTa5d6ff"Tb4b4b4)Tb4b4b4,
Tb4b4b4[
Tb4b4b4(Te6edf3LOCAL_LXMFTb4b4b4, Tff7b72TrueTb4b4b4)Tb4b4b4,
Tb4b4b4(Te6edf3LOCAL_LXMFTff7b72.Td2a8ffupperTb4b4b4(Tb4b4b4)Tb4b4b4, Tff7b72TrueTb4b4b4)Tb4b4b4,
Tb4b4b4(Te6edf3REMOTE_PEERTb4b4b4, Tff7b72FalseTb4b4b4)Tb4b4b4,
Tb4b4b4(Ta5d6ff"Ta5d6ff"Tb4b4b4, Tff7b72FalseTb4b4b4)Tb4b4b4,
Tb4b4b4]Tb4b4b4,
Tb4b4b4)
Tff7b72def Td2a8fftest_is_self_lxmf_param_oracleTb4b4b4(Te6edf3local_self_appTb4b4b4, Te6edf3destTb4b4b4, Te6edf3expectedTb4b4b4)Tb4b4b4:
Te6edf3app Tff7b72= Te6edf3local_self_app
Tff7b72assert Te6edf3appTff7b72.Td2a8ff_is_self_lxmf_destinationTb4b4b4(Te6edf3destTb4b4b4) Tff7b72is Te6edf3expected
Tff7b72def Td2a8fftest_is_self_lxmf_identity_hash_oracleTb4b4b4(Te6edf3local_self_appTb4b4b4)Tb4b4b4:
Te6edf3app Tff7b72= Te6edf3local_self_app
Te6edf3identity_hex Tff7b72= Te6edf3appTff7b72.Td2a8ffcurrent_contextTff7b72.Td2a8ffidentityTff7b72.Td2a8ffhashTff7b72.Td2a8ffhexTb4b4b4(Tb4b4b4)
Tff7b72assert Te6edf3appTff7b72.Td2a8ff_is_self_lxmf_destinationTb4b4b4(Te6edf3identity_hexTb4b4b4) Tff7b72is Tff7b72True
Tf0883e@pytestTff7b72.Td2a8ffmarkTff7b72.Td2a8ffparametrizeTb4b4b4(
Ta5d6ff"Ta5d6ffdestTa5d6ff"Tb4b4b4,
Tb4b4b4[
Te6edf3REMOTE_PEERTb4b4b4,
Ta5d6ff"Ta5d6fff0Ta5d6ff" Tff7b72* T79c0ff16Tb4b4b4,
Ta5d6ff"Ta5d6ffdeadbeefTa5d6ff" Tff7b72* T79c0ff4Tb4b4b4,
Ta5d6ff"Ta5d6ff0123456789abcdef0123456789abcdefTa5d6ff"Tb4b4b4,
Tb4b4b4]Tb4b4b4,
Tb4b4b4)
Tff7b72def Td2a8fftest_is_self_false_for_unrelated_peersTb4b4b4(Te6edf3local_self_appTb4b4b4, Te6edf3destTb4b4b4)Tb4b4b4:
Te6edf3app Tff7b72= Te6edf3local_self_app
Te6edf3identity Tff7b72= Te6edf3appTff7b72.Td2a8ffcurrent_contextTff7b72.Td2a8ffidentityTff7b72.Td2a8ffhashTff7b72.Td2a8ffhexTb4b4b4(Tb4b4b4)Tff7b72.Td2a8fflowerTb4b4b4(Tb4b4b4)
Tff7b72assert Te6edf3destTff7b72.Td2a8fflowerTb4b4b4(Tb4b4b4) Tff7b72not Tff7b72in Tb4b4b4{Te6edf3LOCAL_LXMFTff7b72.Td2a8fflowerTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3identityTb4b4b4}
Te6edf3appTff7b72.Td2a8ffget_lxmf_destination_hash_for_identity_hash Tff7b72= Te6edf3MagicMockTb4b4b4(Te6edf3return_valueTff7b72=Tff7b72NoneTb4b4b4)
Tff7b72assert Te6edf3appTff7b72.Td2a8ff_is_self_lxmf_destinationTb4b4b4(Te6edf3destTb4b4b4) Tff7b72is Tff7b72False
Tf0883e@pytestTff7b72.Td2a8ffmarkTff7b72.Td2a8ffasyncio
Tff7b72async Tff7b72def Td2a8fftest_local_self_sqlite_row_delivered_localTb4b4b4(Te6edf3local_self_appTb4b4b4)Tb4b4b4:
T8b949e"""End-to-end persist: real db_upsert, not a mock."""
Te6edf3app Tff7b72= Te6edf3local_self_app
Te6edf3fake_destination Tff7b72= Te6edf3MagicMockTb4b4b4(Tb4b4b4)
Te6edf3fake_destinationTff7b72.Td2a8ffhash Tff7b72= Tffa657bytesTff7b72.Td2a8fffromhexTb4b4b4(Te6edf3LOCAL_LXMFTb4b4b4)
Tff7b72with Tb4b4b4(
Te6edf3patchTb4b4b4(Ta5d6ff"Ta5d6ffmeshchatx.meshchat.RNS.DestinationTa5d6ff"Tb4b4b4, Te6edf3return_valueTff7b72=Te6edf3fake_destinationTb4b4b4)Tb4b4b4,
Te6edf3patchTb4b4b4(Ta5d6ff"Ta5d6ffmeshchatx.meshchat.LXMF.LXMessageTa5d6ff"Tb4b4b4, Te6edf3side_effectTff7b72=Te6edf3lxmf_message_factoryTb4b4b4)Tb4b4b4,
Te6edf3patchTb4b4b4(
Ta5d6ff"Ta5d6ffmeshchatx.src.backend.lxmf_utils.lxmf_message_solving_stampsTa5d6ff"Tb4b4b4,
Te6edf3return_valueTff7b72=Tff7b72FalseTb4b4b4,
Tb4b4b4)Tb4b4b4,
Te6edf3patchTb4b4b4(Ta5d6ff"Ta5d6ffmeshchatx.meshchat.AsyncUtils.run_asyncTa5d6ff"Tb4b4b4) Tff7b72as Te6edf3run_asyncTb4b4b4,
Tb4b4b4)Tb4b4b4:
Tff7b72await Te6edf3appTff7b72.Td2a8ffsend_messageTb4b4b4(Te6edf3destination_hashTff7b72=Te6edf3LOCAL_LXMFTb4b4b4, Te6edf3contentTff7b72=Ta5d6ff"Ta5d6fforacle persistTa5d6ff"Tb4b4b4)
Te6edf3run_asyncTff7b72.Td2a8ffassert_not_calledTb4b4b4(Tb4b4b4)
Te6edf3row Tff7b72= Te6edf3appTff7b72.Td2a8ffdatabaseTff7b72.Td2a8ffproviderTff7b72.Td2a8fffetchoneTb4b4b4(
Ta5d6ff"Ta5d6ffSELECT state, method, peer_hash, content FROM lxmf_messages WHERE content = ?Ta5d6ff"Tb4b4b4,
Tb4b4b4(Ta5d6ff"Ta5d6fforacle persistTa5d6ff"Tb4b4b4,Tb4b4b4)Tb4b4b4,
Tb4b4b4)
Tff7b72assert Te6edf3row Tff7b72is Tff7b72not Tff7b72None
Tff7b72assert Te6edf3rowTb4b4b4[Ta5d6ff"Ta5d6ffstateTa5d6ff"Tb4b4b4] Tff7b72== Ta5d6ff"Ta5d6ffdeliveredTa5d6ff"
Tff7b72assert Te6edf3rowTb4b4b4[Ta5d6ff"Ta5d6ffmethodTa5d6ff"Tb4b4b4] Tff7b72== Ta5d6ff"Ta5d6fflocalTa5d6ff"
Tff7b72assert Te6edf3rowTb4b4b4[Ta5d6ff"Ta5d6ffpeer_hashTa5d6ff"Tb4b4b4] Tff7b72== Te6edf3LOCAL_LXMF
Tf0883e@pytestTff7b72.Td2a8ffmarkTff7b72.Td2a8ffasyncio
Tff7b72async Tff7b72def Td2a8fftest_local_self_conversation_summary_updatedTb4b4b4(Te6edf3local_self_appTb4b4b4)Tb4b4b4:
Te6edf3app Tff7b72= Te6edf3local_self_app
Te6edf3fake_destination Tff7b72= Te6edf3MagicMockTb4b4b4(Tb4b4b4)
Te6edf3fake_destinationTff7b72.Td2a8ffhash Tff7b72= Tffa657bytesTff7b72.Td2a8fffromhexTb4b4b4(Te6edf3LOCAL_LXMFTb4b4b4)
Tff7b72with Tb4b4b4(
Te6edf3patchTb4b4b4(Ta5d6ff"Ta5d6ffmeshchatx.meshchat.RNS.DestinationTa5d6ff"Tb4b4b4, Te6edf3return_valueTff7b72=Te6edf3fake_destinationTb4b4b4)Tb4b4b4,
Te6edf3patchTb4b4b4(Ta5d6ff"Ta5d6ffmeshchatx.meshchat.LXMF.LXMessageTa5d6ff"Tb4b4b4, Te6edf3side_effectTff7b72=Te6edf3lxmf_message_factoryTb4b4b4)Tb4b4b4,
Te6edf3patchTb4b4b4(
Ta5d6ff"Ta5d6ffmeshchatx.src.backend.lxmf_utils.lxmf_message_solving_stampsTa5d6ff"Tb4b4b4,
Te6edf3return_valueTff7b72=Tff7b72FalseTb4b4b4,
Tb4b4b4)Tb4b4b4,
Te6edf3patchTb4b4b4(Ta5d6ff"Ta5d6ffmeshchatx.meshchat.AsyncUtils.run_asyncTa5d6ff"Tb4b4b4)Tb4b4b4,
Tb4b4b4)Tb4b4b4:
Tff7b72await Te6edf3appTff7b72.Td2a8ffsend_messageTb4b4b4(Te6edf3destination_hashTff7b72=Te6edf3LOCAL_LXMFTb4b4b4, Te6edf3contentTff7b72=Ta5d6ff"Ta5d6ffsummary rowTa5d6ff"Tb4b4b4)
Te6edf3summary Tff7b72= Te6edf3appTff7b72.Td2a8ffdatabaseTff7b72.Td2a8ffproviderTff7b72.Td2a8fffetchoneTb4b4b4(
Ta5d6ff"Ta5d6ffSELECT state, content_preview FROM lxmf_conversation_summaries WHERE peer_hash = ?Ta5d6ff"Tb4b4b4,
Tb4b4b4(Te6edf3LOCAL_LXMFTb4b4b4,Tb4b4b4)Tb4b4b4,
Tb4b4b4)
Tff7b72assert Te6edf3summary Tff7b72is Tff7b72not Tff7b72None
Tff7b72assert Te6edf3summaryTb4b4b4[Ta5d6ff"Ta5d6ffstateTa5d6ff"Tb4b4b4] Tff7b72== Ta5d6ff"Ta5d6ffdeliveredTa5d6ff"
Tff7b72assert Ta5d6ff"Ta5d6ffsummary rowTa5d6ff" Tff7b72in Tb4b4b4(Te6edf3summaryTb4b4b4[Ta5d6ff"Ta5d6ffcontent_previewTa5d6ff"Tb4b4b4] Tff7b72or Ta5d6ff"Ta5d6ff"Tb4b4b4)
Tf0883e@pytestTff7b72.Td2a8ffmarkTff7b72.Td2a8ffasyncio
Tff7b72async Tff7b72def Td2a8fftest_remote_peer_still_invokes_mesh_outboundTb4b4b4(Te6edf3local_self_appTb4b4b4)Tb4b4b4:
Te6edf3app Tff7b72= Te6edf3local_self_app
Te6edf3fake_destination Tff7b72= Te6edf3MagicMockTb4b4b4(Tb4b4b4)
Te6edf3fake_destinationTff7b72.Td2a8ffhash Tff7b72= Tffa657bytesTff7b72.Td2a8fffromhexTb4b4b4(Te6edf3REMOTE_PEERTb4b4b4)
Te6edf3appTff7b72.Td2a8ff_await_transport_path Tff7b72= Te6edf3AsyncMockTb4b4b4(
Te6edf3return_valueTff7b72=Te6edf3reticulum_pathfindingTff7b72.Td2a8ffOutboundPathOutcomeTb4b4b4(
Tff7b72TrueTb4b4b4,
Ta5d6ff"Ta5d6ffreused_valid_pathTa5d6ff"Tb4b4b4,
Tff7b72FalseTb4b4b4,
Tb4b4b4)Tb4b4b4,
Tb4b4b4)
Te6edf3appTff7b72.Td2a8ffdb_upsert_lxmf_message Tff7b72= Te6edf3MagicMockTb4b4b4(Tb4b4b4)
Te6edf3progress Tff7b72= Te6edf3AsyncMockTb4b4b4(Tb4b4b4)
Te6edf3appTff7b72.Td2a8ffhandle_lxmf_message_progress Tff7b72= Te6edf3progress
Tff7b72with Tb4b4b4(
Te6edf3patchTb4b4b4(Ta5d6ff"Ta5d6ffmeshchatx.meshchat.RNS.DestinationTa5d6ff"Tb4b4b4, Te6edf3return_valueTff7b72=Te6edf3fake_destinationTb4b4b4)Tb4b4b4,
Te6edf3patchTb4b4b4(Ta5d6ff"Ta5d6ffmeshchatx.meshchat.LXMF.LXMessageTa5d6ff"Tb4b4b4, Te6edf3side_effectTff7b72=Te6edf3lxmf_message_factoryTb4b4b4)Tb4b4b4,
Te6edf3patchTb4b4b4(
Ta5d6ff"Ta5d6ffmeshchatx.src.backend.lxmf_utils.lxmf_message_solving_stampsTa5d6ff"Tb4b4b4,
Te6edf3return_valueTff7b72=Tff7b72FalseTb4b4b4,
Tb4b4b4)Tb4b4b4,
Te6edf3patchTb4b4b4(Ta5d6ff"Ta5d6ffmeshchatx.meshchat.AsyncUtils.run_asyncTa5d6ff"Tb4b4b4) Tff7b72as Te6edf3run_asyncTb4b4b4,
Tb4b4b4)Tb4b4b4:
Tff7b72await Te6edf3appTff7b72.Td2a8ffsend_messageTb4b4b4(Te6edf3destination_hashTff7b72=Te6edf3REMOTE_PEERTb4b4b4, Te6edf3contentTff7b72=Ta5d6ff"Ta5d6ffto peerTa5d6ff"Tb4b4b4)
Te6edf3appTff7b72.Td2a8ff_await_transport_pathTff7b72.Td2a8ffassert_awaitedTb4b4b4(Tb4b4b4)
Te6edf3appTff7b72.Td2a8ffcurrent_contextTff7b72.Td2a8ffmessage_routerTff7b72.Td2a8ffhandle_outboundTff7b72.Td2a8ffassert_called_onceTb4b4b4(Tb4b4b4)
Te6edf3run_asyncTff7b72.Td2a8ffassert_called_onceTb4b4b4(Tb4b4b4)
Te6edf3upsert_kw Tff7b72= Te6edf3appTff7b72.Td2a8ffdb_upsert_lxmf_messageTff7b72.Td2a8ffcall_argsTff7b72.Td2a8ffkwargs
Tff7b72assert Te6edf3upsert_kwTff7b72.Td2a8ffgetTb4b4b4(Ta5d6ff"Ta5d6ffmethod_overrideTa5d6ff"Tb4b4b4) Tff7b72is Tff7b72None
Tff7b72assert Te6edf3upsert_kwTff7b72.Td2a8ffgetTb4b4b4(Ta5d6ff"Ta5d6ffstate_overrideTa5d6ff"Tb4b4b4) Tff7b72is Tff7b72None
Tff7b72def Td2a8fftest_db_upsert_override_writes_local_methodTb4b4b4(Te6edf3local_self_appTb4b4b4)Tb4b4b4:
Te6edf3app Tff7b72= Te6edf3local_self_app
Te6edf3msg Tff7b72= Te6edf3fake_lxmf_messageTb4b4b4(Tb4b4b4)
Te6edf3msgTff7b72.Td2a8ffcontent Tff7b72= Ta5d6ffbTa5d6ff"Ta5d6ffstoredTa5d6ff"
Te6edf3ReticulumMeshChatTff7b72.Td2a8ffdb_upsert_lxmf_messageTb4b4b4(
Te6edf3appTb4b4b4,
Te6edf3msgTb4b4b4,
Te6edf3state_overrideTff7b72=Ta5d6ff"Ta5d6ffdeliveredTa5d6ff"Tb4b4b4,
Te6edf3method_overrideTff7b72=Ta5d6ff"Ta5d6fflocalTa5d6ff"Tb4b4b4,
Tb4b4b4)
Te6edf3row Tff7b72= Te6edf3appTff7b72.Td2a8ffdatabaseTff7b72.Td2a8ffproviderTff7b72.Td2a8fffetchoneTb4b4b4(
Ta5d6ff"Ta5d6ffSELECT state, method FROM lxmf_messages WHERE hash = ?Ta5d6ff"Tb4b4b4,
Tb4b4b4(Ta5d6ff"Ta5d6ffd4Ta5d6ff" Tff7b72* T79c0ff16Tb4b4b4,Tb4b4b4)Tb4b4b4,
Tb4b4b4)
Tff7b72assert Te6edf3row Tff7b72is Tff7b72not Tff7b72None
Tff7b72assert Te6edf3rowTb4b4b4[Ta5d6ff"Ta5d6ffstateTa5d6ff"Tb4b4b4] Tff7b72== Ta5d6ff"Ta5d6ffdeliveredTa5d6ff"
Tff7b72assert Te6edf3rowTb4b4b4[Ta5d6ff"Ta5d6ffmethodTa5d6ff"Tb4b4b4] Tff7b72== Ta5d6ff"Ta5d6fflocalTa5d6ff"
Tf0883e@pytestTff7b72.Td2a8ffmarkTff7b72.Td2a8ffasyncio
Tff7b72async Tff7b72def Td2a8fftest_local_self_websocket_payload_is_delivered_localTb4b4b4(Te6edf3local_self_appTb4b4b4)Tb4b4b4:
Te6edf3app Tff7b72= Te6edf3local_self_app
Te6edf3fake_destination Tff7b72= Te6edf3MagicMockTb4b4b4(Tb4b4b4)
Te6edf3fake_destinationTff7b72.Td2a8ffhash Tff7b72= Tffa657bytesTff7b72.Td2a8fffromhexTb4b4b4(Te6edf3LOCAL_LXMFTb4b4b4)
Tff7b72with Tb4b4b4(
Te6edf3patchTb4b4b4(Ta5d6ff"Ta5d6ffmeshchatx.meshchat.RNS.DestinationTa5d6ff"Tb4b4b4, Te6edf3return_valueTff7b72=Te6edf3fake_destinationTb4b4b4)Tb4b4b4,
Te6edf3patchTb4b4b4(Ta5d6ff"Ta5d6ffmeshchatx.meshchat.LXMF.LXMessageTa5d6ff"Tb4b4b4, Te6edf3side_effectTff7b72=Te6edf3lxmf_message_factoryTb4b4b4)Tb4b4b4,
Te6edf3patchTb4b4b4(
Ta5d6ff"Ta5d6ffmeshchatx.src.backend.lxmf_utils.lxmf_message_solving_stampsTa5d6ff"Tb4b4b4,
Te6edf3return_valueTff7b72=Tff7b72FalseTb4b4b4,
Tb4b4b4)Tb4b4b4,
Te6edf3patchTb4b4b4(Ta5d6ff"Ta5d6ffmeshchatx.meshchat.AsyncUtils.run_asyncTa5d6ff"Tb4b4b4)Tb4b4b4,
Tb4b4b4)Tb4b4b4:
Tff7b72await Te6edf3appTff7b72.Td2a8ffsend_messageTb4b4b4(Te6edf3destination_hashTff7b72=Te6edf3LOCAL_LXMFTb4b4b4, Te6edf3contentTff7b72=Ta5d6ff"Ta5d6ffwsTa5d6ff"Tb4b4b4)
Te6edf3raw Tff7b72= Te6edf3appTff7b72.Td2a8ffwebsocket_broadcastTff7b72.Td2a8ffawait_argsTb4b4b4[T79c0ff0Tb4b4b4]Tb4b4b4[T79c0ff0Tb4b4b4]
Te6edf3payload Tff7b72= Te6edf3jsonTff7b72.Td2a8ffloadsTb4b4b4(Te6edf3rawTb4b4b4)
Tff7b72assert Te6edf3payloadTb4b4b4[Ta5d6ff"Ta5d6fftypeTa5d6ff"Tb4b4b4] Tff7b72== Ta5d6ff"Ta5d6fflxmf_message_createdTa5d6ff"
Te6edf3lm Tff7b72= Te6edf3payloadTb4b4b4[Ta5d6ff"Ta5d6fflxmf_messageTa5d6ff"Tb4b4b4]
Tff7b72assert Te6edf3lmTb4b4b4[Ta5d6ff"Ta5d6ffstateTa5d6ff"Tb4b4b4] Tff7b72== Ta5d6ff"Ta5d6ffdeliveredTa5d6ff"
Tff7b72assert Te6edf3lmTb4b4b4[Ta5d6ff"Ta5d6ffmethodTa5d6ff"Tb4b4b4] Tff7b72== Ta5d6ff"Ta5d6fflocalTa5d6ff"
Tff7b72assert Te6edf3lmTb4b4b4[Ta5d6ff"Ta5d6ffcontentTa5d6ff"Tb4b4b4] Tff7b72== Ta5d6ff"Ta5d6ffwsTa5d6ff"
Tf0883e@pytestTff7b72.Td2a8ffmarkTff7b72.Td2a8ffasyncio
Tff7b72async Tff7b72def Td2a8fftest_identity_resolved_to_other_lxmf_is_not_selfTb4b4b4(Te6edf3local_self_appTb4b4b4)Tb4b4b4:
Te6edf3app Tff7b72= Te6edf3local_self_app
Te6edf3other_lxmf Tff7b72= Te6edf3REMOTE_PEER
Te6edf3identity_hex Tff7b72= Te6edf3appTff7b72.Td2a8ffcurrent_contextTff7b72.Td2a8ffidentityTff7b72.Td2a8ffhashTff7b72.Td2a8ffhexTb4b4b4(Tb4b4b4)
Te6edf3appTff7b72.Td2a8ffget_lxmf_destination_hash_for_identity_hash Tff7b72= Te6edf3MagicMockTb4b4b4(Te6edf3return_valueTff7b72=Te6edf3other_lxmfTb4b4b4)
Tff7b72assert Te6edf3appTff7b72.Td2a8ff_is_self_lxmf_destinationTb4b4b4(Te6edf3identity_hexTb4b4b4) Tff7b72is Tff7b72True
Te6edf3stranger Tff7b72= Ta5d6ff"Ta5d6fff0Ta5d6ff" Tff7b72* T79c0ff16
Te6edf3appTff7b72.Td2a8ffget_lxmf_destination_hash_for_identity_hash Tff7b72= Te6edf3MagicMockTb4b4b4(Te6edf3return_valueTff7b72=Te6edf3other_lxmfTb4b4b4)
Tff7b72assert Te6edf3appTff7b72.Td2a8ff_is_self_lxmf_destinationTb4b4b4(Te6edf3strangerTb4b4b4) Tff7b72is Tff7b72False
Tff7b72def Td2a8fftest_oracle_rejects_if_implementation_always_returns_trueTb4b4b4(Te6edf3local_self_appTb4b4b4)Tb4b4b4:
T8b949e"""Guard: mutating oracle expectation must fail (documents test strength)."""
Te6edf3app Tff7b72= Te6edf3local_self_app
Tff7b72assert Te6edf3appTff7b72.Td2a8ff_is_self_lxmf_destinationTb4b4b4(Te6edf3REMOTE_PEERTb4b4b4) Tff7b72is Tff7b72False
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────